дизъюнкция
31дизъюнкция — дизъюнкц/и/я [й/а] …
32Условная дизъюнкция — В математической логике, условной дизъюнкцией называется тернарная (имеющая 3 операнда) логическая операция, введенная Чёрчем[1]. Результат условной дизъюнкции аналогичен результату более общей тернарной условной операции (if o1 then o2 else o3) …
33Элементарная дизъюнкция — В логике высказываний элементарной дизъюнкцией называется дизъюнкция литералов: , где   литералы. В англоязычной литературе для обозначения элементарной дизъюнкции используется термин клоз (англ. clause). См. также Элементарная… …
34Логическая дизъюнкция — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная …
35РАЗДЕЛИТЕЛЬНАЯ ДИЗЪЮНКЦИЯ — одна из логич. связок. Предложение , получающееся из двух предложений Аи Вс помощью Р. д. , считается истинным в случае, если истинно Аи ложно В, или в случае, если ложно Аи истинно В. В остальных случаях оно считается ложным. Таким образом, Р. д …
36конъюнкция — дизъюнкция …
37логическая сумма — дизъюнкция …
Словарь русских синонимов по технологиям автоматического контроля
38АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …
39АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч …
40Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …
